Study of syntax and semantics of sentential and first-order logic. Symbolization of natural-language sentences and arguments. Development of deductive systems for first-order logic. Metatheoretic proofs and methods, including proof by mathematical induction and proof of consistency and completeness.
prereq: 1001 or instr consent
Gopher Grades is maintained by Social Coding with data from Summer 2017 to Summer 2025 provided by the University in response to a public records request